461. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
462. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
463. Formal specification of interactive graphics programming languages
پدیدآورنده : Mallgren, William Roberts
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Computer graphics
رده :
T
385
.
M34
1983
464. Formal specification of interactive graphics programming languages
پدیدآورنده : / William R. Mallgren
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers)- Computer graphics
رده :
T385
.
M34
1983
465. Formal syntax and semantics of Java
پدیدآورنده : Jim Alves-Foss )ed.(
کتابخانه: (طهران)
موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1523
466. Formal syntax and semantics of Java
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
467. Formal syntax and semantics of Java
پدیدآورنده : / Jim Alves-Foss (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Java (Computer program language),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999
468. Formal syntax and semantics of programming languages
پدیدآورنده : / Kenneth Slonneger, Barry L. Kurtz
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
S59
,
1995
469. Formal syntax and semantics of programming languages :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Syntax. ;
470. Formal syntax and semantics of programming languages : a laboratory based approach
پدیدآورنده : Slonneger, Kenneth.
کتابخانه: (طهران)
موضوع : Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
S59
1995
471. Foundations of Programming Languages /
پدیدآورنده : by Kent D. Lee.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
472. Foundations of Qt development
پدیدآورنده : / Johan Thelin
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming.,Graphical user interfaces (Computer systems),C++ (Computer program language),Programming languages (Electronic computers)
رده :
QA
,
76
.
6
,.
T4457
,
2007
473. Foundations of Qt development
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : (Computer program language) ; Programming languages (Electronic computers) ; ++Computer programming. ; Graphical user interfaces (Computer systems) ; C
474. Foundations of computer programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming. ; Programming languages (Electronic computers) ; Browsers (Computer programs) ;
475. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: (کرمان)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
476. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
477. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
478. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie, 7491-
کتابخانه: (طهران)
موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
479. Foundations of object-oriented languages
پدیدآورنده : / Kim B. Bruce
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Object-oriented programming (Computer science),Programming languages (Electronic computers)
رده :
QA
,
76
.
64
,.
B776
,
2002
480. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
